$\forall$$n$:$\mathbb{N}$, $f$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$n$}}$$\rightarrow\mathbb{Z}$), $i$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$n$$-$1}}$. sum($f$(($i$, $i$+1)($x$)) $\mid$ $x$ $<$ $n$) $=$ sum($f$($x$) $\mid$ $x$ $<$ $n$) $\in$ $\mathbb{Z}$